thief of metals or metaliferous stones from the mine where he works - Spanish English Dictionary